var link = document.getElementById('link') as HTMLAnchorElement
var link2 = <HTMLAnchorElement>document.getElementById('link')
//独有属性
console.log(link.href);
console.log(link2.href);
